ImpUNITY: UNITY with Procedures and Local Variables

In this paper we present the ImpUNITY framework, a framework that supports the development of parallel and distributed programs from speciication to implementation in a stepwise manner. The ImpUNITY framework is an extension of UNITY, as introduced by Chandy and Misra, with features of the Action System formalism of Back and Kurki-Suonio. Due to this extension, the ImpUNITY framework is more suitable for the implementation phase of the develop process. Therefore, it supports local variables and (remote) procedure calls. It also supports a UNITY like temporal logic and the extension can be done without punishment.